$\forall$$a$, $b$:IdLnk. $a$ = $b$ $\Leftrightarrow$ $a$ $=$ $b$